home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part1 / 1323 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  1.6 KB
  1. Path: news.th-darmstadt.de!news
  2. From: Enno Sandner <enno@intellektik.informatik.th-darmstadt.de>
  3. Newsgroups: comp.lang.c++
  4. Subject: Re: [Q] same template name with template-arg-list
  5. Date: Wed, 10 Jan 1996 13:50:37 +0100
  6. Organization: Fachbereich Informatik, TH Darmstadt
  7. Message-ID: <30F3B61D.1CFBAE39@intellektik.informatik.th-darmstadt.de>
  8. References: <whlong48ht.fsf@balder.metis.no>
  9. NNTP-Posting-Host: kitz.intellektik.informatik.th-darmstadt.de
  10. Mime-Version: 1.0
  11. Content-Type: text/plain; charset=us-ascii
  12. Content-Transfer-Encoding: 7bit
  13. X-Mailer: Mozilla 2.0b4 (X11; I; SunOS 4.1.3 sun4m)
  14.  
  15. Steinar Bang wrote:
  16. > 
  17. > Is it legal in the ANSI C++ draft to have something like:
  18. > 
  19. > template<class T> class sequence {
  20. > public:
  21. >   sequence() ;
  22. > };
  23. > 
  24. > template<class T, int len> class sequence {
  25. > public:
  26. >   sequence() ;
  27. > };
  28. > 
  29. > and have these two be different templates?
  30. > 
  31. > Same template name but different argument lists should give different
  32. > signatures, so I don't see any principal problem...?
  33. > 
  34.  
  35. No, it's (IMHO) not possible.
  36. But you can have sth. similar called 'template specialization'.
  37. For example the former template could be seen as specialization
  38. of the latter template:
  39.  
  40.     template<class T,int len> class sequence { ... };
  41.     template<class T> class sequence<T,0> { ... };
  42.  
  43. In this way you can provide a default-version of the template and
  44. one with a restricted applicability.
  45. This is for example usefull if the you use an inductive definition
  46. for a generic type, like:
  47.  
  48.     A n-dim. sequence is a sequence of (n-1)-dim. sequences
  49.     A 0-sequence is a single value.
  50.  
  51.     Enno
  52.